Automata-Based Software Reliability Paradigm for Ubiquitous Systems
نویسندگان
چکیده
The paper proposes a novel paradigm for accurate reliability estimation of ubiquitous systems. The proposed prototype differs from all conventional software reliability models as it does not rely on any kind of post failure data, questionable assumptions or statistical distributions. The paradigm instead is based on software state to state transition at runtime. Using this state to state transition information, the model ensures fault free software operation. Keyword-Software Reliability, Finite State Automata, Automata-Based Software Reliability Model, SelfLearning Automata.
منابع مشابه
Novel Software Reliability Estimation Model for Altering Paradigms of Software Engineering
A number of different software engineering paradigms like Component-Based Software Engineering (CBSE), Autonomic Computing, Service-Oriented Computing (SOC), Fault-Tolerant Computing and many others are being researched currently. These paradigms denote a paradigm shift from the currently mainstream object-oriented paradigm and are altering the way we view, design, develop and exercise software...
متن کاملNew Paradigm for Software Reliability Estimation
In common parlance, the traditional software reliability estimation methods often rely on assumptions like statistical distributions that are often dubious and unrealistic. This paper analyzes the assumptions of traditional reliability estimation methods and further evaluates the practical viability of the predictions offered by these models in the current scenario. We further propose a novel F...
متن کاملA Formal Component-based Software Engineering Approach for Developing Trustworthy Systems
A Formal Component-Based Software Engineering Approach for Developing Trustworthy Systems Mubarak Sami Mohammad, Ph.D. Concordia University, 2009 Software systems are increasingly becoming ubiquitous, affecting the way we experience the world. Embedded software systems, especially those used in smart devices, have become an essential constituent of the technological infrastructure of modern soc...
متن کاملA novel vedic divider based crypto-hardware for nanocomputing paradigm: An extended perspective
Restoring and non-restoring divider has become widely applicability in the era of digital computing application due to its computation speed. In this paper, we have proposed the design of divider of different architecture for the computation of Vedic sutra based. The design of divider in the Vedic mode results in high computation throughput due to its replica architecture, where latency is mini...
متن کاملA Tool for Runtime Reliability Estimation and Control Using Automata Based Software Reliability Model
-The paper presents a novel approach for runtime reliability estimation of executable software during software execution. The proposed model does not depend on post failure data analysis whose accuracy depends on assumptions about some dubious statistical distribution. Instead the model captures required estimates during runtime from state to state transition. Thus, the model computes software ...
متن کامل